Proceedings of the IASTED International Conference Artificial Intelligence and Applications (AIAFebruary, 2013 Innsbruck, Austria TEXT-TO-DIAGRAM CONVERSION: A METHOD FOR FORMAL REPRESENTATION OF NATURAL L

Source URL: www.cse.iitd.ac.in

• Graph theory
• Computational linguistics
• Parsing
• Compiler
• Natural language processing
• LL parser
• Diagram
• Graph
• Compiler construction
• Software
• Computing

litsift: Automated Text Categorization in Bibliographic Search Lukas C. Faulstich Peter F. Stadler

Source URL: www.bioinf.uni-leipzig.de

• Statistical classification
• Knowledge
• Natural language processing
• Data mining
• Faulstich
• Relational database management systems
• PubMed
• Bioinformatics
• Document classification
• Statistics
• Science
• Formal sciences

BRICS DS-04-1 B. Klin: An Abstract Coalgebraic Approach to Process Equivalence for Well-Behaved Operational Semantics BRICS Basic Research in Computer Science

Source URL: www.brics.dk

• Programming language semantics
• Logic in computer science
• Operational semantics
• BRIC
• Peter Mosses
• Gordon Plotkin
• Congruence relation
• Theoretical computer science
• Mathematics
• Formal methods

To appear in Proceedings of the 21st meeting of the Austronesian Formal Linguistics Association (AFLA 21). Submitted AugustWHAT MAKES A VOICE SYSTEM? ON THE RELATIONSHIP BETWEEN VOICE MARKING AND CASE∗ Michael Y

Source URL: mitcho.com

• Ergative–absolutive language
• Word order
• Austronesian alignment
• Wh-movement
• Object
• Verb argument
• Subject
• Voice
• Active voice
• Linguistics
• Syntax
• Linguistic typology

ParaScale: Exploiting Parametric Timing Analysis for Real-Time Schedulers and Dynamic Voltage Scaling ∗ 2 Sibin Mohan1, Frank Mueller1 , William Hawkins2 , Michael Root3 , Christopher Healy3 and David Whalley4

Source URL: www.cs.fsu.edu

• Computer programming
• Software engineering
• Worst-case execution time
• Formal methods
• Static timing analysis
• Compiler optimization
• Analysis
• Assembly language
• Infinite loop
• Real-time computing
• Programming language implementation
• Computing

libclang: Thinking Beyond the Compiler Monday, November 29, 2010

Source URL: www.llvm.org

• Cross-platform software
• Programming language implementation
• Formal languages
• Parsing
• Clang
• Syntax
• C
• Abstract syntax tree
• Software
• Computing
• Compiler construction

The Reaction Algebra: A Formal Language for Event Correlation⋆ C´esar S´ anchez1 , Matteo Slanina2 , Henny B. Sipma1 , and Zohar Manna1 1

Source URL: software.imdea.org

LangSec: Recognition, Validation, and Compositional Correctness for Real World Security Mission Statement. Language-theoretic security (LangSec) is a design and programming philosophy that focuses on formally correct and

Source URL: langsec.org

• Applied mathematics
• Formal verification
• Specification
• Theoretical computer science
• Evaluation
• Formal methods
• Software bug
• Parsing

testingexperience03_08.pdf

Source URL: www.istqb.org

• Software testing
• Formal methods
• Unified Modeling Language
• Enterprise Architect
• Acceptance testing
• Extended Enterprise Modeling Language
• Systems engineering
• Software development process
• Model-driven architecture
• Software development
• Software
• Enterprise modelling

Path Logics for Querying Graphs: Combining Expressiveness and Efficiency Diego Figueira Leonid Libkin

Source URL: homepages.inf.ed.ac.uk

• Mathematics
• Applied mathematics
• FO
• Computational complexity theory
• Regular language
• Valuation
• Automata theory
• Formal languages
• Theoretical computer science